This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.

Our chromosomes are full of the dead relics of genes. DNA analysis is beginning to unravel the origin and fate of these pseudogenes, and the influence that they may have on genome organization and evolution.

Previous research suggests that free will beliefs and moral responsibility beliefs are strongly linked, yet ultimately distinct. Unfortunately, the most common measure of free will beliefs, the free will subscale (FWS) of the Free Will and Determinism Plus, seems to confound free will beliefs and moral responsibility beliefs. Thus, the present research (1,700 participants across two studies) details the development of a 2-factor FWS – the FWS-II – that divides the FWS into a free will subscale and a moral responsibility (...) subscale. The FWS-II showed good fit compared to standard fit thresholds and superior fit compared to the original FWS. The moral responsibility subscale was moderately correlated with general punitive attitudes and specific punitive assignments, even when controlling for the free will subscale. Conversely, the free will subscale was moderately correlated with conservativism and religiosity, even when controlling for the moral responsibility subscale. These results provide evidence that the FWS is better suited – psychometrically, theoretically, and practically – as a 2-factor measure of free will beliefs and moral responsibility beliefs than as a 1-factor measure of free will beliefs. (shrink)

Two experiments tested the hypothesis that neurological abnormalities decrease punishment by decreasing perceptions of free will. Experiment 1 found that a brain tumor decreased punishment for criminal behavior by decreasing perceptions of the afflicted criminal’s free will. This effect was stronger for liberal and non-religious participants than for conservative and religious participants. Experiment 2 replicated Experiment 1 and additionally found that a brain tumor decreased perceptions of the afflicted criminal’s conscious decisions and true self, thereby decreasing perceptions of his free (...) will, thereby decreasing his punishment. Collectively, these results suggest that neurological abnormalities decrease punishment by decreasing perceptions of free will, especially among liberals and non-religious people. These results also suggest that neurological abnormalities decrease perceptions of free will – and ultimately decrease punishment – by decreasing perceptions of conscious decisions and the true self. (shrink)

We are likely to have immersive virtual reality and ubiquitous augmented reality in the coming decades. At least some people will use extended reality or “the metaverse” to work, play and shop. In order to achieve the best possible versions of this virtual future, however, we will need to learn from three decades of regulating the Internet. The new virtual world cannot consist of walled corporate fiefdoms ruled only by profitmaximization. The interests of workers, consumers and citizens in virtuality require (...) proactive legislation and oversight. -/- This white paper first addresses the central question the metaverse poses, whether virtual life is inherently more alienating and less authentic than face-to-face life experiences. This question is both a philosophical question about the nature of the good life and an empirical question about the accumulating evidence about the impacts of the digital on subjective well-being. -/- . (shrink)

In this note I construct a proper o-minimal expansion of the ordered additive group of rationals.

The mental health crisis and loneliness epidemic have sparked a growing interest in leveraging artificial intelligence (AI) and chatbots as a potential solution. This report examines the benefits and risks of incorporating chatbots in mental health treatment. AI is used for mental health diagnosis and treatment decision-making and to train therapists on virtual patients. Chatbots are employed as always-available intermediaries with therapists, flagging symptoms for human intervention. But chatbots are also sold as stand-alone virtual therapists or as friends and lovers. (...) There is evidence that these uses of AI and chatbots can provide better quality service, improve accessibility, and lower costs. The systems can reduce the stigma and shame of sharing their problems and leverage a mass of biometric and behavioral data to supplement self-reports. As the systems' intelligence rapidly improves, they will need to be rigorously tested for the accuracy and precision of their diagnoses and the quality of their interactions with patients. As chatbots become indistinguishable from humans and leverage their superhuman capacity to detect affect and draw on knowledge of a patient’s life, patients will be drawn to attribute personality to and relationship with the chatbot. Consequently, it will be essential to study what the “therapeutic alliance” with an actual human counselor provides and the risks of patients attributing such a relationship to a one-sided or “parasocial” relationship. (shrink)

Three questions of major historical interest may be asked concerning the neglect and the rediscovery of Mendel's work.1. Why was it so little noticed between its publication in 1866 and its rediscovery in 1900?2. What factors determined its rediscovery?3. What factors favoured the rapid growth of Mendelian genetics?It is with the second and third of these questions that this paper is concerned.

We prove linear and polynomial growth properties of sets and functions that are existentially definable in the ordered group of integers with divisibility. We determine the laws of addition with order and divisibility.

Our recent paper advocating adaptive management of invasive nonnative species (INS) in Kings Bay, Florida received detailed responses from both Daniel Simberloff, a prominent invasion biologist, and Mark Sagoff, a prominent critic of invasion biology. Simberloff offers several significant lines of criticism that compel detailed rebuttals, and, as such, most of this reply is dedicated to this purpose. Ultimately, we find it quite significant that Simberloff, despite his other stated objections to our paper, apparently agrees with our argument that proposals (...) for alternative management of established INS (i.e., alternatives to minimization/eradication) should not be rejected on an a␣priori basis. We argue that more specific development and application of adaptive approaches toward INS management, whether in Kings Bay or other appropriate case studies, would be facilitated if ecosystem managers and invasion biologists follow Simberloff’s lead on this key point. While Sagoff largely shares (and, indeed, served as a primary source for developing) our general arguments that challenge common moral and scientific assumptions associated with invasion biology, he does question our suggestion that participatory adaptive management provides an appropriate framework for approaching environmental problems in which science and politics are inherently entangled. We attempt to answer this criticism through a brief sketch of what participatory adaptive management might look like for Kings Bay and how such an approach would differ from past management approaches. (shrink)

Working in an o-minimal expansion of the real field, we investigate when a germ of a complex analytic function has a definable analytic continuation to its Mittag–Leffler star. As an application we show that any algebro-logarithmic function that is complex analytic in a neighborhood of the origin in $\mathbb {C}$ has an analytic continuation to all but finitely many points in $\mathbb {C}$.